Propositional calculus - PDFSEARCH.IO - Document Search Engine

Propositional calculus
Results: 1046

#	Item
201	Propositional Modal Logic∗ John MacFarlane—Philosophy 142 February 15, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-02-15 14:21:03 Model theory Philosophical logic Non-classical logic Interpretation S5 Accessibility relation Logical connective Propositional calculus Linear temporal logic Logic Mathematical logic Modal logic
202	Running Head: DETECTING INCONSISTENCY Multiple sources of competence underlying the comprehension of inconsistencies: A developmental investigation. Bradley J. Morris Add to Reading List Source URL: www.behaviometrix.com Language: English - Date: 2009-08-12 21:36:34 Propositional calculus Logical syntax Mathematical logic Marxist theory Entailment Contradiction Question Truth Logic Philosophy Philosophical logic
203	PDF Document Add to Reading List Source URL: www.mtsu.edu Language: English - Date: 2015-03-03 05:49:47 Mathematical logic Calculus Linear algebra Applied mathematics Actuary Propositional calculus Precalculus Pi Areas of mathematics Mathematics education Mathematics Logic
204	PDF Document Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 2012-03-06 13:59:25 Theoretical computer science Rough set Propositional calculus
205	Interpolation and Symbol Elimination⋆ Laura Kov´acs1 and Andrei Voronkov2 1 2 Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2010-02-15 09:12:21 Logical syntax Propositional calculus Proof theory Interpolation Video Video signal First-order logic Formal proof Pi Logic Mathematical logic Mathematics
206	PDF Document Add to Reading List Source URL: zeszyty-naukowe.wwsi.edu.pl Language: English - Date: 2014-12-22 08:14:41 Non-classical logic Propositional calculus Knowledge representation Logical syntax Default logic Autoepistemic logic Circumscription Non-monotonic logic Well-formed formula Logic Mathematical logic Logic programming
207	A Tutorial on Proof Theoretic Foundations of Logic Programming Add to Reading List Source URL: www.ki.inf.tu-dresden.de Language: English - Date: 2005-09-20 10:33:36 Proof theory Propositional calculus Non-classical logic Deduction Automated theorem proving Sequent calculus Natural deduction Admissible rule Intuitionistic logic Logic Mathematical logic Mathematics
208	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Propositional calculus Logic programming Logical syntax Default logic Well-formed formula Logical connective FO Stable model semantics Logic Mathematical logic Boolean algebra
209	Revising Beliefs on the Basis of Evidence James P. Delgrande School of Computing Science Simon Fraser University Burnaby, B.C., Canada V5A 1S6 Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:44:27 Formal languages Model theory Propositional calculus Belief revision Interpretation Entailment Modal logic Function Linear temporal logic Logic Mathematics Philosophical logic
210	The Disjunction and Conjunction Theses Gonzalo Rodriguez-Pereyra This paper is a response to replies by Dan López de Sa and Mark Jago to my ‘Truthmaking, Entailment, and the Conjuction Thesis’. In that paper, my mai Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2009-05-18 11:40:49 Semantics Veracity Boolean algebra Propositional calculus Truthmaker Negation Logical truth Truth Modal logic Logic Philosophy Philosophical logic

UPDATE